theory of computation gate syllabus